; 2010 Computer Science Grad School Rankings - taken from http://grad-schools.usnews.rankingsandreviews.com/best-graduate-schools/top-science-schools/computer-science-rankings
; It is assumed that there should be a close correlation between a quality graduate program and a quality undergraduate program, so these rankings should suffice

(deffacts Schools
	(School (name "Carnegie Mellon University") (quality 5.0))
	(School (name "Massachusetts Institute of Technology") (quality 5.0))
	(School (name "Stanford University") (quality 5.0))
	(School (name "UC Berkeley") (quality 5.0))
	(School (name "Cornell University") (quality 4.6))
	(School (name "University of Illinois") (quality 4.6))
	(School (name "University of Washington") (quality 4.5))
	(School (name "Princeton University") (quality 4.4))
	(School (name "University of Texas") (quality 4.4))
	(School (name "Georgia Tech") (quality 4.3))
	(School (name "California Institute of Technology") (quality 4.2))
	(School (name "University of Wisconsin") (quality 4.2))
	(School (name "University of Michigan") (quality 4.1))
	(School (name "UCLA") (quality 4.0))
	(School (name "UCSD") (quality 4.0))
	(School (name "University of Maryland") (quality 4.0))
	(School (name "Columbia University") (quality 3.9))
	(School (name "Harvard University") (quality 3.9))
	(School (name "University of Pennsylvania") (quality 3.9))
	(School (name "Brown University") (quality 3.7))
	(School (name "Purdue University") (quality 3.7))
	(School (name "Rice University") (quality 3.7))
	(School (name "University of Massachusetts") (quality 3.7))
	(School (name "University of North Carolina") (quality 3.7))
	(School (name "University of Southern California") (quality 3.7))
	(School (name "Yale University") (quality 3.7))
	(School (name "Duke University") (quality 3.6))
	(School (name "Johns Hopkins University") (quality 3.4))
	(School (name "New York University") (quality 3.4))
	(School (name "Ohio State University") (quality 3.4))
	(School (name "Penn State University") (quality 3.4))
	(School (name "Rutgers University") (quality 3.4))
	(School (name "UC Irvine") (quality 3.4))
	(School (name "University of Virginia") (quality 3.4))
	(School (name "Northwestern University") (quality 3.3))
	(School (name "UC Santa Barbara") (quality 3.3))
	(School (name "University of Chicago") (quality 3.3))
	(School (name "University of Minnesota") (quality 3.3))
	(School (name "UC Davis") (quality 3.2))
	(School (name "University of Colorado") (quality 3.2))
	(School (name "University of Florida") (quality 3.2))
	(School (name "University of Utah") (quality 3.2))
	(School (name "Washington University") (quality 3.2))
	(School (name "Dartmouth College") (quality 3.1))
	(School (name "Stony Brook University") (quality 3.1))
	(School (name "Virginia Tech") (quality 3.1))
	(School (name "Boston University") (quality 3.0))
	(School (name "North Carolina State University") (quality 3.0))
	(School (name "Rensselaer Polytechnic Institute") (quality 3.0))
	(School (name "Texas A&M") (quality 3.0))
	(School (name "University of Arizona") (quality 3.0))
	(School (name "University of Rochester") (quality 3.0))
	(School (name "Arizona State University") (quality 2.9))
	(School (name "Indiana University") (quality 2.9))
	(School (name "UC Riverside") (quality 2.9))
	(School (name "UC Santa Cruz") (quality 2.9))
	(School (name "University of Pittsburgh") (quality 2.9))
	(School (name "Michigan State University") (quality 2.8))
	(School (name "University of Illinois - Chicago") (quality 2.8))
	(School (name "Vanderbilt University") (quality 2.8))
	(School (name "Northeastern University") (quality 2.7))
	(School (name "SUNY Buffalo") (quality 2.7))
	(School (name "Case Western Reserve University") (quality 2.6))
	(School (name "George Mason University") (quality 2.6))
	(School (name "Iowa State University") (quality 2.6))
	(School (name "Oregon State University") (quality 2.6))
	(School (name "Syracuse University") (quality 2.6))
	(School (name "University of Iowa") (quality 2.6))
	(School (name "University of Notre Dame") (quality 2.6))
	(School (name "University of Oregon") (quality 2.6))
	(School (name "University of Tennessee") (quality 2.6))
	(School (name "Brandeis University") (quality 2.5))
	(School (name "Naval Postgraduate School") (quality 2.5))
	(School (name "Polytechnic Institute of New York University") (quality 2.5))
	(School (name "Tufts University") (quality 2.5))
	(School (name "University of Connecticut") (quality 2.5))
	(School (name "University of Delaware") (quality 2.5))
	(School (name "University of Maryland - Baltimore County") (quality 2.5))
	(School (name "Clemson University") (quality 2.4))
	(School (name "College of William and Mary") (quality 2.4))
	(School (name "Colorado State University") (quality 2.4))
	(School (name "CUNY Graduate School and University Center") (quality 2.4))
	(School (name "Florida State University") (quality 2.4))
	(School (name "George Washington University") (quality 2.4))
	(School (name "Oregon Health and Science University") (quality 2.4))
	(School (name "University of Kansas") (quality 2.4))
	(School (name "University of Nebraska") (quality 2.4))
	(School (name "University of New Mexico") (quality 2.4))
	(School (name "University of Texas - Dallas") (quality 2.4))
	(School (name "Washington State University") (quality 2.4))
	(School (name "Auburn University") (quality 2.3))
	(School (name "Brigham Young University") (quality 2.3))
	(School (name "New Jersey Institute of Technology") (quality 2.3))
	(School (name "SUNY Albany") (quality 2.3))
	(School (name "University of Central Florida") (quality 2.3))
	(School (name "University of Georgia") (quality 2.3))
	(School (name "University of Kentucky") (quality 2.3))
	(School (name "Worcester Polytechnic Institute") (quality 2.3))
	(School (name "Drexel University") (quality 2.2))
	(School (name "Georgia State University") (quality 2.2))
	(School (name "Kansas State University") (quality 2.2))
	(School (name "Lehigh University") (quality 2.2))
	(School (name "Louisiana State University") (quality 2.2))
	(School (name "Stevens Institute of Technology") (quality 2.2))
	(School (name "University of Cincinnati") (quality 2.2))
	(School (name "University of North Carolina - Charlotte") (quality 2.2))
	(School (name "University of South Carolina") (quality 2.2))
	(School (name "University of South Florida") (quality 2.2))
	(School (name "University of Texas - Arlington") (quality 2.2))
	(School (name "SUNY Binghamton") (quality 2.1))
	(School (name "Colorado School of Mines") (quality 2.1))
	(School (name "Illinois Institute of Technology") (quality 2.1))
	(School (name "Southern Methodist University") (quality 2.1))
	(School (name "Temple University") (quality 2.1))
	(School (name "University of Houston") (quality 2.1))
	(School (name "University of Missouri") (quality 2.1))
	(School (name "University of Oklahoma") (quality 2.1))
	(School (name "University of Wisconsin - Milwaukee") (quality 2.1))
	(School (name "Wayne State University") (quality 2.1))
	(School (name "West Virginia University") (quality 2.1))
	(School (name "Claremont Graduate University") (quality 2.0))
	(School (name "Mississippi State University") (quality 2.0))
	(School (name "Missouri University of Science and Technology") (quality 2.0))
	(School (name "New Mexico State University") (quality 2.0))
	(School (name "Texas Tech University") (quality 2.0))
	(School (name "Wright State University") (quality 2.0)))